<?php

global $admin_file;
if (!eregi("".$admin_file.".php", $_SERVER['SCRIPT_NAME'])) { die ("Access Denied"); }
if ($radminsuper==1) {
    adminmenu("".$admin_file.".php?op=optimize", "Optimize DB", "optimize.gif");
}

?>